#ifndef SOURCE_TERMINAL_H
#define SOURCE_TERMINAL_H

#include <list>
#include "Terminal.h"

class SourceTerminal : public Terminal {
 public:
  
  SourceTerminal(Node* parent);
  void propagateValue();
  void connectSink(Terminal* sink);

 private:
  
  //nonownership
  std::list<Terminal*> sinks;
  
};

#endif
